

@book{AliasingBook,
  editor    = {Dave Clarke and James Noble and Tobias Wrigstad},
  title     = {Aliasing in Object-oriented Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {XXXX},
  year      = {2012},
  isbn      = {XXXXXXXXXXXX},
}


%The Geneva convention on the treatment of object aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt
@InCollection{HoggLWdCHChapter,
  author     = 	 {John Hogg and Doug Lea and Alan Wills and Dennis de Champeaux and Richard C. Holt},
  title      = 	 {The Geneva convention on the treatment of object aliasing},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

%  Reflections on the Geneva Convention by Dave Clarke, James Noble and Tobias Wrigstad
@InCollection{ClarkeNWChapter,
  author     = 	 {Dave Clarke and James Noble and Tobias Wrigstad},
  title      = 	 {Reflections on the Geneva Convention},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Alias Control for Deterministic Parallelism by Robert L. Bocchino Jr
@InCollection{BocchinoChapter,
  author     = 	 {Robert L. Bocchino Jr},
  title      = 	 {Alias Control for Deterministic Parallelism},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Fractional Permissions by John Boyland
@InCollection{BoylandChapter,
  author     = 	 {John Boyland},
  title      = 	 {Fractional Permissions},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Explaining Ownership Types with Dependent Types by Nicholas Cameron, Sophia Drossopoulou, and James Noble
@InCollection{CameronDNChapter,
  author     = 	 {Nicholas Cameron and Sophia Drossopoulou and James Noble},
  title      = 	 {Explaining Ownership Types with Dependent Types},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  =    {AliasingBook}
}

% Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy? by Stephan Herrmann
@InCollection{HerrmannChapter,
  author     = 	 {Stephan Herrmann},
  title      = 	 {Confined Roles and Decapsulation in Object Teams -- Contradiction or Synergy?},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Verifying Java Programs with VeriFast Jan Smans, Bart Jacobs, Frank Piessens, Willem Penninckx, Frederic Vogels, and Pieter Philippaerts
@InCollection{SmansJPPVPChapter,
  author     = 	 {Jan Smans and Bart Jacobs and Frank Piessens and Willem Penninckx and Fr{\'{e}}d{\'{e}}ric Vogels and Pieter Philippaerts},
  title      = 	 {Verifying Java Programs with {VeriFast}},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Immutability Alex Potanin, Johan Ostlund, Yoav Zibin, Michael D. Ernst
@InCollection{PotaninOZEChapter,
  author     = 	 {Alex Potanin and Johan {\"{O}}stlund and Yoav Zibin and Michael D. Ernst},
  title      = 	 {Immutability},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Alias Analysis for Object-Oriented Programs by Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, and Eran Yahav
@InCollection{SridharanCDFYChapter,
  author     = 	 {Manu Sridharan and Satish Chandra and Julian Dolby and Stephen J. Fink and Eran Yahav},
  title      = 	 {Alias Analysis for Object-Oriented Programs},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Object Graphs with Ownership Domains: an Empirical Study by Radu Vanciu and Marwan Abi-Antoun
@InCollection{AbiAntounVAChapter,
  author     = 	 {Radu Vanciu and Marwan Abi-Antoun},
  title      = 	 {Object Graphs with Ownership Domains: an Empirical Study},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}


% Object Ownership in Program Verification by Werner Dietl and Peter Muller
@InCollection{DietlMChapter,
  author     = 	 {Werner Dietl and Peter M{\"{u}}ller},
  title      = 	 {Object Ownership in Program Verification},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Notions of Aliasing and Ownership by Alan Mycroft and Janina Voigt
@InCollection{MycroftVChapter,
  author     = 	 {Alan Mycroft and Janina Voigt},
  title      = 	 {Notions of Aliasing and Ownership},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Separation Logic for Object-Oriented Programming by Matthew Parkinson and Gavin Bierman
@InCollection{ParkinsonBChapter,
  author     = 	 {Matthew Parkinson and Gavin Bierman},
  title      = 	 {Separation Logic for Object-Oriented Programming},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Location Types for Safe Programming with Near and Far References by Yannick Welsch, Jan Schafer, and Arnd Poetzsch-Heffter
@InCollection{WelschSPHChapter,
  author     = 	 {Yannick Welsch and Jan Sch{\"{a}}fer and Arnd Poetzsch-Heffter},
  title      = 	 {Location Types for Safe Programming with Near and Far References},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Representation Independence, State Based Ownership, and Reentrancy Anindya Banerjee and David A. Naumann
@InCollection{BanerjeeNChapter,
  author     = 	 {Anindya Banerjee and David A. Naumann},
  title      = 	 {Representation Independence, State Based Ownership, and Reentrancy},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Ownership Types: A Survey by Dave Clarke, Johan Ostlund, Ilya Sergey and Tobias Wrigstad
@InCollection{ClarkeOSWChapter,
  author     = 	 {Dave Clarke and Johan {\"{O}}stlund and Ilya Sergey and Tobias Wrigstad},
  title      = 	 {Ownership Types: A Survey},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}

% Pointers are the GO TO of Data Structures: A Prehistory of Ownership Types by James Noble
@InCollection{NobleChapter,
  author     = 	 {James Noble},
  title      = 	 {Pointers are the {GO} {TO} of Data Structures: A Prehistory of Ownership Types},
  booktitle  = 	 {Aliasing in Object-oriented Programming},
  pages      =	 {XXX--XXX},
  publisher  =	 {Springer},
  year       =	 {2012},
  editor     =	 {Dave Clarke and James Noble and Tobias Wrigstad},
  crossref  = {AliasingBook}
}
